electrically operated pump - German English Dictionary